mathematical logic

A Study on the Development of Paradox and Mathematical Logic

悖论与数理逻辑的发展探析

Important Action of True Values ' Table in Mathematical Logic

真值表在数理逻辑中的重要作用

Development of CAI systems of mathematical logic & intelligence

《数理逻辑》智能CAI系统的研制

Choice How to Choose Examples in Mathematical Logic Teaching

数理逻辑教学中的例题选择

Application of mathematical logic in queue theory

数理逻辑在排队论中的应用

This article mainly discusses several mathematical logic thinking methods and their applications in artistic design .

本文主要分析了几种数理逻辑思维方法及在艺术设计中的应用。

Mathematical logic is one of the difficulties of " Discrete Mathematics " .

数理逻辑是《离散数学》的难点之一。

A Study on Mathematical Logic

关于数理逻辑的一些研究

The feature of the mathematical logic and the aesthetics in the ancient Chinese capital planning

中国古代都城规划中的数理哲学与美学特征

Several Factors in Mathematical Logic Translation

数理逻辑翻译中的几个因素

In mathematical logic in the study is the main target of all kinds of calculus .

在数理逻辑中研究的主要对象是各种演算。

Consistency is one of the most fundamental syntactic concepts in mathematical logic .

协调性是数理逻辑中最基本的语法概念之一。

Therefore , the three basic laws are not applicable to orthodox mathematical logic .

故而，传统形式逻辑三大基本规律在正统数理逻辑中均不能成立。

On the second revolution of mathematical logic

论第2次数理逻辑革命

Therefore , intelligence inference should not be based upon the orthodox mathematical logic .

因此，情报推理不能以正统数理逻辑作为推理工具。

He put forward two basic ideas of mathematical logic to construct formal language and found calculus .

这里，他最早提出了数理逻辑的两个基本思想：构造形式语言和建立演算。

He also wanted to see mathematical logic used to make the work of mathematicians more rigorous .

他希望看到数理逻辑能使数学家们的工作变得更加严密。

I learn the formulas that have been proved by mathematical logic and empirical evidence .

我学到的是已经被数学推理和实际经验所证明的公式。

Approaching Mathematical Logic of the Option Pricing Principles

期权定价原理的数理逻辑探析

The Necessity for Introduction of the Existential Quantifier into Mathematical Logic

数理逻辑中存在量词引入的必要性

There are two reasons , one is that mathematical logic is more abstract and its methods are quite unique ;

主要有两个原因，其一是内容比较抽象且方法较独特；

Mathematical Logic in the Tone-relation of Traditional Chinese Music

中国传统音调的数理逻辑关系问题

In particular , there was an extended argument between them about the whole structure of mathematical logic .

特别是，他们俩进行了一场关于整个数理逻辑体系的争论。

Mathematical Logic and Electronic Computers

电子计算机与数理逻辑

Formal Logic Will not Be Superseded by Mathematical Logic

数理逻辑不能取代形式逻辑

It also set up the research groups on functional analysis and mathematical logic to intensify the theoretical study of relevant subjects .

同时设立了泛函分析、数理逻辑等研究组，以加强相应理论学科的研究。

Mathematical logic and computer science has a very close relationship . Also , the computational theory is based on mathematical logic .

数理逻辑和计算机科学有着十分密切的关系，数理逻辑是计算理论的基础。

This paper shows that the methods of mathematical logic may have a broad application and also valuable to human 's daily thinking .

这说明，数理逻辑的方法可以有广泛的运用，它对于日常思维同样有重要的价值。

Based on the mathematical logic theory , this paper designed priority calculation method which used for complex trigger conditions in trigger model .

在数理逻辑理论的基础上，设计了用于触发器模型的复杂触发条件的优先级计算方法。

The commonsense problem & commonsense , ai , and mathematical logic

常识问题常识、人工智能与数理逻辑